/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package argtrust.logic;

import java.util.ArrayList;
import java.util.Map;
import java.util.List;
import java.util.LinkedHashMap;
import java.util.Collection;


import aima.core.logic.fol.parsing.ast.Sentence;

/**
 *
 * @author Yuqing Tang
 */
public class FOLKnowledgeBase {
    //Inputs:

    private List<InferenceRule> mRuleList;
    private List<Sentence> mFactList;

    public FOLKnowledgeBase() {
        mRuleList = new ArrayList<InferenceRule>();
        mFactList = new ArrayList<Sentence>();

    }
    public void acceptKnowledgeBase(Collection<Sentence> fact_collection,
            Collection<InferenceRule> rule_collection) {
        mRuleList = new ArrayList<InferenceRule>(rule_collection);
        mFactList = new ArrayList<Sentence>(fact_collection);
    }


    public List<InferenceRule> getRuleList() {
        return mRuleList;
    }

    public List<Sentence> getFactList() {
        return mFactList;
    }

    public void addRule(InferenceRule rule) {
        mRuleList.add(rule);
    }

    public void addFact(Sentence fact) {
        mFactList.add(fact);
    }
}
